退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于抽象解释的C值分析的形式验证
Blazy, Sandrine; Laporte, Vincent; Maroneze, André; Pichardie, David;
机译:基于抽象解释的生物环境时间特性验证
机译:基于抽象解释的逻辑程序验证
机译:基于程序切片,抽象解释和不变分析的组合的循环边界分析
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:IKOs:基于抽象解释的静态分析框架(工具文件)。
机译:重新计时的范式在流水线设计的抽象RTL描述的形式等效验证中的应用
机译:用于与电子电路设计的形式验证相关的基于范围的时钟分析的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。